Recherches sur les acides desoxyribonucleiques d'Acetabularia mediterranea

Habilitation a Diriger Les Recherches

We cloned the chick homolog of Xenopus and mouse Frzb-1, a secreted Wnt antagonist and performed in situ hybridisations to determine the pattern of cFrzb-1 expression in the developing chick embryo. At early stages, cFrzb-1 transcripts are located exclusively in the ectodermal layer corresponding to the neural plate. The labelling continues in the neural tube, but is always excluded from the ̄o...

Habilitation À Diriger Les Recherches

Interpretation (VMCAI’02), volume 2294 of Lecture Notes in Computer Science,pages 240–254, Venezia, Italy, January 2002.[35] Deepak D’Souza and P. Madhusudan. Timed control synthesis for external specifica-tions. In Proc. 19th International Symposium on Theoretical Aspects of Computer Science(STACS’02), volume 2285 of Lecture Notes in Computer Science, pages 571–582. Springer,<l...

Habilitation à Diriger les Recherches mention Informatique

Habilitation à Diriger les Recherches Mention Informatique

Introduction quid est ergo tempus? si nemo ex me quaerat, scio; si quaerenti explicare velim, nescio. What then is time? If no one asks me, I know; if I wish to explain it to one that asketh, I know not. 1 The present document is about time, in at least two respects. Firstly, it gives a description of my scientific work over the time since the completion of my PhD thesis [85]. Secondly, this te...

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...